$\forall$$A$, $B$:MsgA. $A$ $=$ $B$ $\Rightarrow$ ma{-}frame{-}compat($B$;$B$) $\Rightarrow$ ($B$ $\Vert\!+$ $A$)